Proof assistant

Assistant de preuve - logiciel permettant l'écriture et la vérification de preuves mathématiques. L'article "Proof assistant" sur Wikipédia en anglais a 32 points pour la qualité (au 1 août 2024). L'article contient 22 références et 8 sections. L'article contient également un modèle de défauts de qualité, qui réduit le score de qualité.

Cet article a la meilleure qualité sur Wikipédia en estonien. Cependant, la version linguistique la plus populaire de cet article est la langue anglais.

En juillet 2024 l'article "Proof assistant" a été édité par 3 auteurs sur Wikipédia en anglais et écrit par 4 auteurs dans toutes les langues.

Depuis la création de l'article "Proof assistant", son contenu a été rédigé par 102 utilisateurs enregistrés de Wikipédia en anglais et édité par 191 utilisateurs Wikipédia enregistrés dans toutes les langues.

L'article est cité 251 fois dans Wikipédia en anglais et cité 486 fois dans toutes les langues.

Le rang d’intérêt des auteurs le plus élevé depuis 2001:

• Local (anglais): n° 42118 en février 2024
• Mondial: n° 55595 en octobre 2004

Le classement de popularité le plus élevé depuis 2008:

• Local (anglais): n° 190648 en novembre 2017
• Mondial: n° 312916 en novembre 2017

Il existe 7 versions linguistiques pour cet article dans la base de données WikiRank (sur les 55 éditions linguistiques Wikipédia considérées).

L'évaluation de la qualité et de la popularité est basée sur les dumps Wikipédia du 1 août 2024 (y compris l'historique des révisions et les pages vues des années précédentes).

Le tableau ci-dessous présente les versions linguistiques de l'article de la plus haute qualité.

#	Langue	Niveau de qualité	Score de qualité
1	estonien (et) Tõestusassistent		32.1143
2	anglais (en) Proof assistant		31.9674
3	français (fr) Assistant de preuve		25.7037
4	ukrainien (uk) Асистент доведення теорем		25.2336
5	russe (ru) Инструмент интерактивного доказательства теорем		16.134
6	espagnol (es) Demostración interactiva de teoremas		1.1771
7	polonais (pl) System wspomagający dowodzenie twierdzeń		0.3428

Plus...

Le tableau suivant présente les versions linguistiques les plus populaires de l'article.

Les versions linguistiques les plus populaires de l'article "Proof assistant" dans tout le temps

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Proof assistant		527 472
2	français (fr) Assistant de preuve		65 850
3	polonais (pl) System wspomagający dowodzenie twierdzeń		12 521
4	espagnol (es) Demostración interactiva de teoremas		8 615
5	russe (ru) Инструмент интерактивного доказательства теорем		4 659
6	estonien (et) Tõestusassistent		160
7	ukrainien (uk) Асистент доведення теорем		112

Plus...

Le tableau suivant présente les versions linguistiques de l'article le plus populaire au cours du mois dernier.

Les versions linguistiques les plus populaires de l'article "Proof assistant" en juillet 2024

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Proof assistant		5 635
2	français (fr) Assistant de preuve		237
3	russe (ru) Инструмент интерактивного доказательства теорем		107
4	polonais (pl) System wspomagający dowodzenie twierdzeń		14
5	espagnol (es) Demostración interactiva de teoremas		13
6	ukrainien (uk) Асистент доведення теорем		8
7	estonien (et) Tõestusassistent		3

Plus...

Le tableau suivant présente les versions linguistiques de l'article présentant le plus grand intérêt des auteurs.

Versions linguistiques de l'article "Proof assistant" présentant le plus grand intérêt des auteurs. Seuls les utilisateurs enregistrés de Wikipédia ont été comptés.

#	Langue	Prox de IA	IA relatif
1	anglais (en) Proof assistant		102
2	français (fr) Assistant de preuve		63
3	polonais (pl) System wspomagający dowodzenie twierdzeń		11
4	russe (ru) Инструмент интерактивного доказательства теорем		5
5	espagnol (es) Demostración interactiva de teoremas		4
6	estonien (et) Tõestusassistent		3
7	ukrainien (uk) Асистент доведення теорем		3

Plus...

Le tableau suivant montre les versions linguistiques de l'article ayant suscité le plus grand intérêt des auteurs au cours du mois dernier.

Versions linguistiques de l'article "Proof assistant" présentant le plus grand intérêt des auteurs en juillet 2024

#	Langue	Prox de IA	IA relatif
1	anglais (en) Proof assistant		3
2	français (fr) Assistant de preuve		1
3	espagnol (es) Demostración interactiva de teoremas		0
4	estonien (et) Tõestusassistent		0
5	polonais (pl) System wspomagający dowodzenie twierdzeń		0
6	russe (ru) Инструмент интерактивного доказательства теорем		0
7	ukrainien (uk) Асистент доведення теорем		0

Plus...

Le tableau suivant présente les versions linguistiques de l'article avec le plus grand nombre de citations.

Versions linguistiques de l'article "Proof assistant" avec l'indice de citation (IC) le plus élevé

#	Langue	Prix ​​de IC	IC relatif
1	anglais (en) Proof assistant		251
2	français (fr) Assistant de preuve		185
3	espagnol (es) Demostración interactiva de teoremas		20
4	ukrainien (uk) Асистент доведення теорем		13
5	russe (ru) Инструмент интерактивного доказательства теорем		11
6	estonien (et) Tõestusassistent		3
7	polonais (pl) System wspomagający dowodzenie twierdzeń		3

Plus...

#	Langue	Valeur
en	anglais Proof assistant
es	espagnol Demostración interactiva de teoremas
et	estonien Tõestusassistent
fr	français Assistant de preuve
pl	polonais System wspomagający dowodzenie twierdzeń
ru	russe Инструмент интерактивного доказательства теорем
uk	ukrainien Асистент доведення теорем

Meilleur rang

anglais: n° 190648 11.2017

Mondial: n° 312916 11.2017

Meilleur rang

anglais: n° 42118 02.2024

Mondial: n° 55595 10.2004

Au 12 novembre 2024 sur Wikipédia multilingue, les internautes lisent le plus souvent des articles sur les thèmes suivants: Donald Trump, Marco Rubio, Elon Musk, Song Jae-rim, élection présidentielle américaine de 2024, Megan Fox, Melania Trump, Gladiator 2, ChatGPT, décès en 2024.

Sur Wikipédia en anglais, les articles les plus populaires ce jour-là étaient: Microsoft, 2024 United States presidential election, Marco Rubio, Song Jae-rim, Michael Waltz, Kristi Noem, Donald Trump, 2020 United States presidential election, Kash Patel, Tom Homan.

Le projet est destiné à l'évaluation relative automatique des articles dans les différentes versions linguistiques de Wikipédia. À l'heure actuelle, le service permet de comparer plus de 44 millions d'articles Wikipédia dans 55 langues. Les scores de qualité des articles sont basés sur les dumps Wikipédia de août 2024. Lors du calcul de la popularité actuelle et de l’intérêt des auteurs pour les articles, les données de juillet 2024 Pour les valeurs historiques de popularité et d’intérêt des auteurs, WikiRank a utilisé des données de 2001 à 2023... Plus d'information